3.0 KB · ⇊ 2 parts · ⤓ Micron 3.0 KB · ⤓ HTML 18.1 KB

top

Der noethersche Normalisierungssatz (oder auch noethersches Normalisierungslemma) (nach Emmy Noether) ist eine Strukturaussage aus dem mathematischen Teilgebiet der kommutativen Algebra. In geometrischer Sprache besagt er, dass es von einem geometrischen Objekt stets eine Abbildung in einen affinen Raum gibt, deren Fasern endlich sind.

• Formulierung

• Siehe auch

Es sei k {\displaystyle k} ein Körper und A {\displaystyle A} eine k {\displaystyle k} -Algebra endlichen Typs. Dann gibt es algebraisch unabhängige Elemente x 1 , … … , x n ∈ ∈ A {\displaystyle x_{1},\ldots ,x_{n}\in A} , so dass A {\displaystyle A} eine endliche k [ x 1 , … … , x n ] {\displaystyle k[x_{1},\ldots ,x_{n}]} -Algebra, also ganz über k [ x 1 , … … , x n ] {\displaystyle k[x_{1},\ldots ,x_{n}]} ist. Man kann für n {\displaystyle n} den Transzendenzgrad Trg ⁡ ⁡ ( A : : k ) {\displaystyle \operatorname {Trg} (A\colon k)} wählen.

Dabei bedeutet „algebraisch unabhängig“, dass der Homomorphismus

k [ X 1 , … … , X n ] → → A , X i ↦ ↦ x i {\displaystyle k[X_{1},\ldots ,X_{n}]\to A,\quad X_{i}\mapsto x_{i}}

aus dem Polynomring k [ X 1 , … … , X n ] {\displaystyle k[X_{1},\ldots ,X_{n}]} nach A {\displaystyle A} injektiv ist.

• Ganzheit (kommutative Algebra)

• Hilbertscher Nullstellensatz